
#include "includes.h"
#include "structs.h"
#include "declares.h"

int main(int ac, char**av)
{
        grape_set_app_name(av[0]);
        grape_errexit_if((ac!=3), 1, "dimacs source\n");

        char *dimacsf=av[1];
        int source=atoi(av[2]);

        char *datf=va_format("%s.verify", dimacsf);
        FILE *dat=fopen(datf, "w");
        FILE *dimacs=fopen(dimacsf, "r");

        igraph_matrix_t result;
        verify_sssp(dimacs,source,&result,dat);
        igraph_matrix_destroy(&result);
}
